static uint64_t errol_enum3[432] = {
	0x4e2e2785c3a2a20b,
	0x240a28877a09a4e1,
	0x728fca36c06cf106,
	0x1016b100e18e5c17,
	0x3159190e30e46c1d,
	0x64312a13daa46fe4,
	0x7c41926c7a7122ba,
	0x08667a3c8dc4bc9c,
	0x18dde996371c6060,
	0x297c2c31a31998ae,
	0x368b870de5d93270,
	0x57d561def4a9ee32,
	0x6d275d226331d03a,
	0x76703d7cb98edc59,
	0x7ec490abad057752,
	0x037be9d5a60850b5,
	0x0c63165633977bca,
	0x14a048cb468bc209,
	0x20dc29bc6879dfcd,
	0x2643dc6227de9148,
	0x2d64f14348a4c5db,
	0x341eef5e1f90ac35,
	0x4931159a8bd8a240,
	0x503ca9bade45b94a,
	0x5c1af5b5378aa2e5,
	0x6b4ef9beaa7aa584,
	0x6ef1c382c3819a0a,
	0x754fe46e378bf133,
	0x7ace779fddf21622,
	0x7df22815078cb97b,
	0x7f33c8eeb77b8d05,
	0x011b7aa3d73f6658,
	0x06ceb7f2c53db97f,
	0x0b8f3d82e9356287,
	0x0e304273b18918b0,
	0x139fb24e492936f6,
	0x176090684f5fe997,
	0x1e3035e7b5183922,
	0x220ce77c2b3328fc,
	0x246441ed79830182,
	0x279b5cd8bbdd8770,
	0x2cc7c3fba45c1272,
	0x3081eab25ad0fcf7,
	0x329f5a18504dfaac,
	0x347eef5e1f90ac35,
	0x3a978cfcab31064c,
	0x4baa32ac316fb3ab,
	0x4eb9a2c2a34ac2f9,
	0x522f6a5025e71a61,
	0x5935ede8cce30845,
	0x5f9aeac2d1ea2695,
	0x6820ee7811241ad3,
	0x6c06c9e14b7c22c3,
	0x6e5a2fbffdb7580c,
	0x71160cf8f38b0465,
	0x738a37935f3b71c9,
	0x756fe46e378bf133,
	0x7856d2aa2fc5f2b5,
	0x7bd3b063946e10ae,
	0x7d8220e1772428d7,
	0x7e222815078cb97b,
	0x7ef5bc471d5456c7,
	0x7fb82baa4ae611dc,
	0x00bb7aa3d73f6658,
	0x0190a0f3c55062c5,
	0x05898e3445512a6e,
	0x07bfe89cf1bd76ac,
	0x08dfa7ebe304ee3e,
	0x0c43165633977bca,
	0x0e104273b18918b0,
	0x0fd6ba8608faa6a9,
	0x10b4139a6b17b224,
	0x1466cc4fc92a0fa6,
	0x162ba6008389068a,
	0x1804116d591ef1fb,
	0x1c513770474911bd,
	0x1e7035e7b5183923,
	0x2114dab846e19e25,
	0x222ce77c2b3328fc,
	0x244441ed79830182,
	0x249b23b50fc204db,
	0x278aacfcb88c92d6,
	0x289d52af46e5fa6a,
	0x2bdec922478c0421,
	0x2d44f14348a4c5dc,
	0x2f0c1249e96b6d8d,
	0x30addc7e975c5045,
	0x322aedaa0fc32ac8,
	0x33deef5e1f90ac34,
	0x343eef5e1f90ac35,
	0x35ef1de1f7f14439,
	0x3854faba79ea92ec,
	0x47f52d02c7e14af7,
	0x4a6bb6979ae39c49,
	0x4c85564fb098c955,
	0x4e80fde34c996086,
	0x4ed9a2c2a34ac2f9,
	0x51a3274280201a89,
	0x574fe0403124a00e,
	0x581561def4a9ee31,
	0x5b55ed1f039cebff,
	0x5e2780695036a679,
	0x624be064a3fb2725,
	0x674dcfee6690ffc6,
	0x6a6cc08102f0da5b,
	0x6be6c9e14b7c22c4,
	0x6ce75d226331d03a,
	0x6d5b9445072f4374,
	0x6e927edd0dbb8c09,
	0x71060cf8f38b0465,
	0x71b1d7cb7eae05d9,
	0x72fba10d818fdafd,
	0x739a37935f3b71c9,
	0x755fe46e378bf133,
	0x76603d7cb98edc59,
	0x78447e17e7814ce7,
	0x799d696737fe68c7,
	0x7ade779fddf21622,
	0x7c1c283ffc61c87d,
	0x7d1a85c6f7fba05d,
	0x7da220e1772428d7,
	0x7e022815078cb97b,
	0x7e9a9b45a91f1700,
	0x7ee3c8eeb77b8d05,
	0x7f13c8eeb77b8d05,
	0x7f6594223f5654bf,
	0x7fd82baa4ae611dc,
	0x002d243f646eaf51,
	0x00f5d15b26b80e30,
	0x0180a0f3c55062c5,
	0x01f393b456eef178,
	0x05798e3445512a6e,
	0x06afdadafcacdf85,
	0x06e8b03fd6894b66,
	0x07cfe89cf1bd76ac,
	0x08ac25584881552a,
	0x097822507db6a8fd,
	0x0c27b35936d56e28,
	0x0c53165633977bca,
	0x0c8e9eddbbb259b4,
	0x0e204273b18918b0,
	0x0f1d16d6d4b89689,
	0x0fe6ba8608faa6a9,
	0x105f48347c60a1be,
	0x13627383c5456c5e,
	0x13f93bb1e72a2033,
	0x148048cb468bc208,
	0x1514c0b3a63c1444,
	0x175090684f5fe997,
	0x17e4116d591ef1fb,
	0x18cde996371c6060,
	0x19aa2cf604c30d3f,
	0x1d2b1ad9101b1bfd,
	0x1e5035e7b5183923,
	0x1fe5a79c4e71d028,
	0x20ec29bc6879dfcd,
	0x218ce77c2b3328fb,
	0x221ce77c2b3328fc,
	0x233f346f9ed36b89,
	0x243441ed79830182,
	0x245441ed79830182,
	0x247441ed79830182,
	0x2541e4ee41180c0a,
	0x277aacfcb88c92d6,
	0x279aacfcb88c92d6,
	0x27cbb4c6bd8601bd,
	0x28c04a616046e074,
	0x2a4eeff57768f88c,
	0x2c2379f099a86227,
	0x2d04f14348a4c5db,
	0x2d54f14348a4c5dc,
	0x2d6a8c931c19b77a,
	0x2fa387cf9cb4ad4e,
	0x308ddc7e975c5046,
	0x3149190e30e46c1d,
	0x318d2ec75df6ba2a,
	0x32548050091c3c24,
	0x33beef5e1f90ac34,
	0x33feef5e1f90ac35,
	0x342eef5e1f90ac35,
	0x345eef5e1f90ac35,
	0x35108621c4199208,
	0x366b870de5d93270,
	0x375b20c2f4f8d4a0,
	0x3864faba79ea92ec,
	0x3aa78cfcab31064c,
	0x4919d9577de925d5,
	0x49ccadd6dd730c96,
	0x4b9a32ac316fb3ab,
	0x4bba32ac316fb3ab,
	0x4cff20b1a0d7f626,
	0x4e3e2785c3a2a20b,
	0x4ea9a2c2a34ac2f9,
	0x4ec9a2c2a34ac2f9,
	0x4f28750ea732fdae,
	0x513843e10734fa57,
	0x51e71760b3c0bc13,
	0x55693ba3249a8511,
	0x57763ae2caed4528,
	0x57f561def4a9ee32,
	0x584561def4a9ee31,
	0x5b45ed1f039cebfe,
	0x5bfaf5b5378aa2e5,
	0x5c6cf45d333da323,
	0x5e64ec8fd70420c7,
	0x6009813653f62db7,
	0x64112a13daa46fe4,
	0x672dcfee6690ffc6,
	0x677a77581053543b,
	0x699873e3758bc6b3,
	0x6b3ef9beaa7aa584,
	0x6b7b86d8c3df7cd1,
	0x6bf6c9e14b7c22c3,
	0x6c16c9e14b7c22c3,
	0x6d075d226331d03a,
	0x6d5a3bdac4f00f33,
	0x6e4a2fbffdb7580c,
	0x6e927edd0dbb8c08,
	0x6ee1c382c3819a0a,
	0x70f60cf8f38b0465,
	0x7114390c68b888ce,
	0x714fb4840532a9e5,
	0x727fca36c06cf106,
	0x72eba10d818fdafd,
	0x737a37935f3b71c9,
	0x73972852443155ae,
	0x754fe46e378bf132,
	0x755fe46e378bf132,
	0x756fe46e378bf132,
	0x76603d7cb98edc58,
	0x76703d7cb98edc58,
	0x782f7c6a9ad432a1,
	0x78547e17e7814ce7,
	0x7964066d88c7cab8,
	0x7ace779fddf21621,
	0x7ade779fddf21621,
	0x7bc3b063946e10ae,
	0x7c0c283ffc61c87d,
	0x7c31926c7a7122ba,
	0x7d0a85c6f7fba05d,
	0x7d52a5daf9226f04,
	0x7d9220e1772428d7,
	0x7db220e1772428d7,
	0x7dfe5aceedf1c1f1,
	0x7e122815078cb97b,
	0x7e8a9b45a91f1700,
	0x7eb6202598194bee,
	0x7ec6202598194bee,
	0x7ef3c8eeb77b8d05,
	0x7f03c8eeb77b8d05,
	0x7f23c8eeb77b8d05,
	0x7f5594223f5654bf,
	0x7f9914e03c9260ee,
	0x7fc82baa4ae611dc,
	0x7fefffffffffffff,
	0x001d243f646eaf51,
	0x00ab7aa3d73f6658,
	0x00cb7aa3d73f6658,
	0x010b7aa3d73f6658,
	0x012b7aa3d73f6658,
	0x0180a0f3c55062c6,
	0x0190a0f3c55062c6,
	0x03719f08ccdccfe5,
	0x03dc25ba6a45de02,
	0x05798e3445512a6f,
	0x05898e3445512a6f,
	0x06bfdadafcacdf85,
	0x06cfdadafcacdf85,
	0x06f8b03fd6894b66,
	0x07c1707c02068785,
	0x08567a3c8dc4bc9c,
	0x089c25584881552a,
	0x08dfa7ebe304ee3d,
	0x096822507db6a8fd,
	0x09e41934d77659be,
	0x0c27b35936d56e27,
	0x0c43165633977bc9,
	0x0c53165633977bc9,
	0x0c63165633977bc9,
	0x0c7e9eddbbb259b4,
	0x0c9e9eddbbb259b4,
	0x0e104273b18918b1,
	0x0e204273b18918b1,
	0x0e304273b18918b1,
	0x0fd6ba8608faa6a8,
	0x0fe6ba8608faa6a8,
	0x1006b100e18e5c17,
	0x104f48347c60a1be,
	0x10a4139a6b17b224,
	0x12cb91d317c8ebe9,
	0x138fb24e492936f6,
	0x13afb24e492936f6,
	0x14093bb1e72a2033,
	0x1476cc4fc92a0fa6,
	0x149048cb468bc209,
	0x1504c0b3a63c1444,
	0x161ba6008389068a,
	0x168cfab1a09b49c4,
	0x175090684f5fe998,
	0x176090684f5fe998,
	0x17f4116d591ef1fb,
	0x18a710b7a2ef18b7,
	0x18d99fccca44882a,
	0x199a2cf604c30d3f,
	0x1b5ebddc6593c857,
	0x1d1b1ad9101b1bfd,
	0x1d3b1ad9101b1bfd,
	0x1e4035e7b5183923,
	0x1e6035e7b5183923,
	0x1fd5a79c4e71d028,
	0x20cc29bc6879dfcd,
	0x20e8823a57adbef8,
	0x2104dab846e19e25,
	0x2124dab846e19e25,
	0x220ce77c2b3328fb,
	0x221ce77c2b3328fb,
	0x222ce77c2b3328fb,
	0x229197b290631476,
	0x240a28877a09a4e0,
	0x243441ed79830181,
	0x244441ed79830181,
	0x245441ed79830181,
	0x246441ed79830181,
	0x247441ed79830181,
	0x248b23b50fc204db,
	0x24ab23b50fc204db,
	0x2633dc6227de9148,
	0x2653dc6227de9148,
	0x277aacfcb88c92d7,
	0x278aacfcb88c92d7,
	0x279aacfcb88c92d7,
	0x27bbb4c6bd8601bd,
	0x289d52af46e5fa69,
	0x28b04a616046e074,
	0x28d04a616046e074,
	0x2a3eeff57768f88c,
	0x2b8e3a0aeed7be19,
	0x2beec922478c0421,
	0x2cc7c3fba45c1271,
	0x2cf4f14348a4c5db,
	0x2d44f14348a4c5db,
	0x2d54f14348a4c5db,
	0x2d5a8c931c19b77a,
	0x2d64f14348a4c5dc,
	0x2efc1249e96b6d8d,
	0x2f0f6b23cfe98807,
	0x2fe91b9de4d5cf31,
	0x308ddc7e975c5045,
	0x309ddc7e975c5045,
	0x30bddc7e975c5045,
	0x3150ed9bd6bfd003,
	0x317d2ec75df6ba2a,
	0x321aedaa0fc32ac8,
	0x32448050091c3c24,
	0x328f5a18504dfaac,
	0x3336dca59d035820,
	0x33ceef5e1f90ac34,
	0x33eeef5e1f90ac35,
	0x340eef5e1f90ac35,
	0x34228f9edfbd3420,
	0x34328f9edfbd3420,
	0x344eef5e1f90ac35,
	0x346eef5e1f90ac35,
	0x35008621c4199208,
	0x35e0ac2e7f90b8a3,
	0x361dde4a4ab13e09,
	0x367b870de5d93270,
	0x375b20c2f4f8d49f,
	0x37f25d342b1e33e5,
	0x3854faba79ea92ed,
	0x3864faba79ea92ed,
	0x3a978cfcab31064d,
	0x3aa78cfcab31064d,
	0x490cd230a7ff47c3,
	0x4929d9577de925d5,
	0x4939d9577de925d5,
	0x49dcadd6dd730c96,
	0x4a7bb6979ae39c49,
	0x4b9a32ac316fb3ac,
	0x4baa32ac316fb3ac,
	0x4bba32ac316fb3ac,
	0x4cef20b1a0d7f626,
	0x4e2e2785c3a2a20a,
	0x4e3e2785c3a2a20a,
	0x4e6454b1aef62c8d,
	0x4e90fde34c996086,
	0x4ea9a2c2a34ac2fa,
	0x4eb9a2c2a34ac2fa,
	0x4ec9a2c2a34ac2fa,
	0x4ed9a2c2a34ac2fa,
	0x4f38750ea732fdae,
	0x504ca9bade45b94a,
	0x514843e10734fa57,
	0x51b3274280201a89,
	0x521f6a5025e71a61,
	0x52c6a47d4e7ec633,
	0x55793ba3249a8511,
	0x575fe0403124a00e,
	0x57863ae2caed4528,
	0x57e561def4a9ee32,
	0x580561def4a9ee31,
	0x582561def4a9ee31,
	0x585561def4a9ee31,
	0x59d0dd8f2788d699,
	0x5b55ed1f039cebfe,
	0x5beaf5b5378aa2e5,
	0x5c0af5b5378aa2e5,
	0x5c4ef3052ef0a361,
	0x5e1780695036a679,
	0x5e54ec8fd70420c7,
	0x5e6b5e2f86026f05,
	0x5faaeac2d1ea2695,
	0x611260322d04d50b,
	0x625be064a3fb2725,
	0x64212a13daa46fe4,
	0x671dcfee6690ffc6,
	0x673dcfee6690ffc6,
	0x675dcfee6690ffc6,
	0x678a77581053543b,
	0x682d3683fa3d1ee0,
	0x699cb490951e8515,
	0x6b3ef9beaa7aa583,
	0x6b4ef9beaa7aa583,
	0x6b7896beb0c66eb9,
	0x6bdf20938e7414bb,
	0x6bef20938e7414bb,
	0x6bf6c9e14b7c22c4,
	0x6c06c9e14b7c22c4,
	0x6c16c9e14b7c22c4,
	0x6cf75d226331d03a,
	0x6d175d226331d03a,
	0x6d4b9445072f4374,
};
static struct errol_slab_t errol_enum3_data[432] = {
	{ "40648030339495312", 69 },
	{ "4498645355592131", -134 },
	{ "678321594594593", 244 },
	{ "36539702510912277", -230 },
	{ "56819570380646536", -70 },
	{ "42452693975546964", 175 },
	{ "34248868699178663", 291 },
	{ "34037810581283983", -267 },
	{ "67135881167178176", -188 },
	{ "74973710847373845", -108 },
	{ "60272377639347644", -45 },
	{ "1316415380484425", 116 },
	{ "64433314612521525", 218 },
	{ "31961502891542243", 263 },
	{ "4407140524515149", 303 },
	{ "69928982131052126", -291 },
	{ "5331838923808276", -248 },
	{ "24766435002945523", -208 },
	{ "21509066976048781", -149 },
	{ "2347200170470694", -123 },
	{ "51404180294474556", -89 },
	{ "12320586499023201", -56 },
	{ "38099461575161174", 45 },
	{ "3318949537676913", 79 },
	{ "48988560059074597", 136 },
	{ "7955843973866726", 209 },
	{ "2630089515909384", 227 },
	{ "11971601492124911", 258 },
	{ "35394816534699092", 284 },
	{ "47497368114750945", 299 },
	{ "54271187548763685", 305 },
	{ "2504414972009504", -302 },
	{ "69316187906522606", -275 },
	{ "53263359599109627", -252 },
	{ "24384437085962037", -239 },
	{ "3677854139813342", -213 },
	{ "44318030915155535", -195 },
	{ "28150140033551147", -162 },
	{ "1157373742186464", -143 },
	{ "2229658838863212", -132 },
	{ "67817280930489786", -117 },
	{ "56966478488538934", -92 },
	{ "49514357246452655", -74 },
	{ "74426102121433776", -64 },
	{ "78851753593748485", -55 },
	{ "19024128529074359", -25 },
	{ "32118580932839778", 57 },
	{ "17693166778887419", 72 },
	{ "78117757194253536", 88 },
	{ "56627018760181905", 122 },
	{ "35243988108650928", 153 },
	{ "38624526316654214", 194 },
	{ "2397422026462446", 213 },
	{ "37862966954556723", 224 },
	{ "56089100059334965", 237 },
	{ "3666156212014994", 249 },
	{ "47886405968499643", 258 },
	{ "48228872759189434", 272 },
	{ "29980574575739863", 289 },
	{ "37049827284413546", 297 },
	{ "37997894491800756", 300 },
	{ "37263572163337027", 304 },
	{ "16973149506391291", 308 },
	{ "391314839376485", -304 },
	{ "38797447671091856", -300 },
	{ "54994366114768736", -281 },
	{ "23593494977819109", -270 },
	{ "61359116592542813", -265 },
	{ "1332959730952069", -248 },
	{ "6096109271490509", -240 },
	{ "22874741188249992", -231 },
	{ "33104948806015703", -227 },
	{ "21670630627577332", -209 },
	{ "70547825868713855", -201 },
	{ "54981742371928845", -192 },
	{ "27843818440071113", -171 },
	{ "4504022405368184", -161 },
	{ "2548351460621656", -148 },
	{ "4629494968745856", -143 },
	{ "557414709715803", -133 },
	{ "23897004381644022", -131 },
	{ "33057350728075958", -117 },
	{ "47628822744182433", -112 },
	{ "22520091703825729", -96 },
	{ "1285104507361864", -89 },
	{ "46239793787746783", -81 },
	{ "330095714976351", -73 },
	{ "4994144928421182", -66 },
	{ "77003665618895", -58 },
	{ "49282345996092803", -56 },
	{ "66534156679273626", -48 },
	{ "24661175471861008", -36 },
	{ "45035996273704964", 39 },
	{ "32402369146794532", 51 },
	{ "42859354584576066", 61 },
	{ "1465909318208761", 71 },
	{ "70772667115549675", 72 },
	{ "18604316837693468", 86 },
	{ "38329392744333992", 113 },
	{ "21062646087750798", 117 },
	{ "972708181182949", 132 },
	{ "36683053719290777", 146 },
	{ "32106017483029628", 166 },
	{ "41508952543121158", 190 },
	{ "45072812455233127", 205 },
	{ "59935550661561155", 212 },
	{ "40270821632825953", 217 },
	{ "60846862848160256", 219 },
	{ "42788225889846894", 225 },
	{ "28044550029667482", 237 },
	{ "46475406389115295", 240 },
	{ "7546114860200514", 246 },
	{ "7332312424029988", 249 },
	{ "23943202984249821", 258 },
	{ "15980751445771122", 263 },
	{ "21652206566352648", 272 },
	{ "65171333649148234", 278 },
	{ "70789633069398184", 284 },
	{ "68600253110025576", 290 },
	{ "4234784709771466", 295 },
	{ "14819930913765419", 298 },
	{ "9499473622950189", 299 },
	{ "71272819274635585", 302 },
	{ "16959746108988652", 304 },
	{ "13567796887190921", 305 },
	{ "4735325513114182", 306 },
	{ "67892598025565165", 308 },
	{ "81052743999542975", -307 },
	{ "4971131903427841", -303 },
	{ "19398723835545928", -300 },
	{ "29232758945460627", -298 },
	{ "27497183057384368", -281 },
	{ "17970091719480621", -275 },
	{ "22283747288943228", -274 },
	{ "47186989955638217", -270 },
	{ "6819439187504402", -266 },
	{ "47902021250710456", -262 },
	{ "41378294570975613", -249 },
	{ "2665919461904138", -248 },
	{ "3421423777071132", -247 },
	{ "12192218542981019", -239 },
	{ "7147520638007367", -235 },
	{ "45749482376499984", -231 },
	{ "80596937390013985", -229 },
	{ "26761990828289327", -214 },
	{ "18738512510673039", -211 },
	{ "619160875073638", -209 },
	{ "403997300048931", -206 },
	{ "22159015457577768", -195 },
	{ "13745435592982211", -192 },
	{ "33567940583589088", -188 },
	{ "4812711195250522", -184 },
	{ "3591036630219558", -167 },
	{ "1126005601342046", -161 },
	{ "5047135806497922", -154 },
	{ "43018133952097563", -149 },
	{ "45209911804158747", -146 },
	{ "2314747484372928", -143 },
	{ "65509428048152994", -138 },
	{ "2787073548579015", -133 },
	{ "1114829419431606", -132 },
	{ "4459317677726424", -132 },
	{ "32269008655522087", -128 },
	{ "16528675364037979", -117 },
	{ "66114701456151916", -117 },
	{ "54934856534126976", -116 },
	{ "21168365664081082", -111 },
	{ "67445733463759384", -104 },
	{ "45590931008842566", -95 },
	{ "8031903171011649", -91 },
	{ "2570209014723728", -89 },
	{ "6516605505584466", -89 },
	{ "32943123175907307", -78 },
	{ "82523928744087755", -74 },
	{ "28409785190323268", -70 },
	{ "52853886779813977", -69 },
	{ "30417302377115577", -65 },
	{ "1925091640472375", -58 },
	{ "30801466247558002", -57 },
	{ "24641172998046401", -56 },
	{ "19712938398437121", -55 },
	{ "43129529027318865", -52 },
	{ "15068094409836911", -45 },
	{ "48658418478920193", -41 },
	{ "49322350943722016", -36 },
	{ "38048257058148717", -25 },
	{ "14411294198511291", 45 },
	{ "32745697577386472", 48 },
	{ "16059290466419889", 57 },
	{ "64237161865679556", 57 },
	{ "8003248329710242", 63 },
	{ "81296060678990625", 69 },
	{ "8846583389443709", 71 },
	{ "35386333557774838", 72 },
	{ "21606114462319112", 74 },
	{ "18413733104063271", 84 },
	{ "35887030159858487", 87 },
	{ "2825769263311679", 104 },
	{ "2138446062528161", 114 },
	{ "52656615219377", 116 },
	{ "16850116870200639", 118 },
	{ "48635409059147446", 132 },
	{ "12247140014768649", 136 },
	{ "16836228873919609", 138 },
	{ "5225574770881846", 147 },
	{ "42745323906998127", 155 },
	{ "10613173493886741", 175 },
	{ "10377238135780289", 190 },
	{ "29480080280199528", 191 },
	{ "4679330956996797", 201 },
	{ "3977921986933363", 209 },
	{ "56560320317673966", 210 },
	{ "1198711013231223", 213 },
	{ "4794844052924892", 213 },
	{ "16108328653130381", 218 },
	{ "57878622568856074", 219 },
	{ "18931483477278361", 224 },
	{ "4278822588984689", 225 },
	{ "1315044757954692", 227 },
	{ "14022275014833741", 237 },
	{ "5143975308105889", 237 },
	{ "64517311884236306", 238 },
	{ "3391607972972965", 244 },
	{ "3773057430100257", 246 },
	{ "1833078106007497", 249 },
	{ "64766168833734675", 249 },
	{ "1197160149212491", 258 },
	{ "2394320298424982", 258 },
	{ "4788640596849964", 258 },
	{ "1598075144577112", 263 },
	{ "3196150289154224", 263 },
	{ "83169412421960475", 271 },
	{ "43304413132705296", 272 },
	{ "5546524276967009", 277 },
	{ "3539481653469909", 284 },
	{ "7078963306939818", 284 },
	{ "14990287287869931", 289 },
	{ "34300126555012788", 290 },
	{ "17124434349589332", 291 },
	{ "2117392354885733", 295 },
	{ "47639264836707725", 296 },
	{ "7409965456882709", 297 },
	{ "29639861827530837", 298 },
	{ "79407577493590275", 299 },
	{ "18998947245900378", 300 },
	{ "35636409637317792", 302 },
	{ "23707742595255608", 303 },
	{ "47415485190511216", 303 },
	{ "33919492217977303", 304 },
	{ "6783898443595461", 304 },
	{ "27135593774381842", 305 },
	{ "2367662756557091", 306 },
	{ "44032152438472327", 307 },
	{ "33946299012782582", 308 },
	{ "17976931348623157", 309 },
	{ "40526371999771488", -307 },
	{ "1956574196882425", -304 },
	{ "78262967875297", -304 },
	{ "1252207486004752", -302 },
	{ "5008829944019008", -302 },
	{ "1939872383554593", -300 },
	{ "3879744767109186", -300 },
	{ "44144884605471774", -291 },
	{ "45129663866844427", -289 },
	{ "2749718305738437", -281 },
	{ "5499436611476874", -281 },
	{ "35940183438961242", -275 },
	{ "71880366877922484", -275 },
	{ "44567494577886457", -274 },
	{ "25789638850173173", -270 },
	{ "17018905290641991", -267 },
	{ "3409719593752201", -266 },
	{ "6135911659254281", -265 },
	{ "23951010625355228", -262 },
	{ "51061856989121905", -260 },
	{ "4137829457097561", -249 },
	{ "13329597309520689", -248 },
	{ "26659194619041378", -248 },
	{ "53318389238082755", -248 },
	{ "1710711888535566", -247 },
	{ "6842847554142264", -247 },
	{ "609610927149051", -240 },
	{ "1219221854298102", -239 },
	{ "2438443708596204", -239 },
	{ "2287474118824999", -231 },
	{ "4574948237649998", -231 },
	{ "18269851255456139", -230 },
	{ "40298468695006992", -229 },
	{ "16552474403007851", -227 },
	{ "39050270537318193", -217 },
	{ "1838927069906671", -213 },
	{ "7355708279626684", -213 },
	{ "37477025021346077", -211 },
	{ "43341261255154663", -209 },
	{ "12383217501472761", -208 },
	{ "2019986500244655", -206 },
	{ "35273912934356928", -201 },
	{ "47323883490786093", -199 },
	{ "2215901545757777", -195 },
	{ "4431803091515554", -195 },
	{ "27490871185964422", -192 },
	{ "64710073234908765", -189 },
	{ "57511323531737074", -188 },
	{ "2406355597625261", -184 },
	{ "75862936714499446", -176 },
	{ "1795518315109779", -167 },
	{ "7182073260439116", -167 },
	{ "563002800671023", -162 },
	{ "2252011202684092", -161 },
	{ "2523567903248961", -154 },
	{ "10754533488024391", -149 },
	{ "37436263604934127", -149 },
	{ "1274175730310828", -148 },
	{ "5096702921243312", -148 },
	{ "11573737421864639", -143 },
	{ "23147474843729279", -143 },
	{ "46294949687458557", -143 },
	{ "36067106647774144", -141 },
	{ "44986453555921307", -134 },
	{ "27870735485790148", -133 },
	{ "55741470971580295", -133 },
	{ "11148294194316059", -132 },
	{ "22296588388632118", -132 },
	{ "44593176777264236", -132 },
	{ "11948502190822011", -131 },
	{ "47794008763288043", -131 },
	{ "1173600085235347", -123 },
	{ "4694400340941388", -123 },
	{ "1652867536403798", -117 },
	{ "3305735072807596", -117 },
	{ "6611470145615192", -117 },
	{ "27467428267063488", -116 },
	{ "4762882274418243", -112 },
	{ "10584182832040541", -111 },
	{ "42336731328162165", -111 },
	{ "33722866731879692", -104 },
	{ "69097540994131414", -98 },
	{ "45040183407651457", -96 },
	{ "5696647848853893", -92 },
	{ "40159515855058247", -91 },
	{ "12851045073618639", -89 },
	{ "25702090147237278", -89 },
	{ "3258302752792233", -89 },
	{ "5140418029447456", -89 },
	{ "23119896893873391", -81 },
	{ "51753157237874753", -81 },
	{ "67761208324172855", -77 },
	{ "8252392874408775", -74 },
	{ "1650478574881755", -73 },
	{ "660191429952702", -73 },
	{ "3832399419240467", -70 },
	{ "26426943389906988", -69 },
	{ "2497072464210591", -66 },
	{ "15208651188557789", -65 },
	{ "37213051060716888", -64 },
	{ "55574205388093594", -61 },
	{ "385018328094475", -58 },
	{ "15400733123779001", -57 },
	{ "61602932495116004", -57 },
	{ "14784703798827841", -56 },
	{ "29569407597655683", -56 },
	{ "9856469199218561", -56 },
	{ "39425876796874242", -55 },
	{ "21564764513659432", -52 },
	{ "35649516398744314", -48 },
	{ "51091836539008967", -47 },
	{ "30136188819673822", -45 },
	{ "4865841847892019", -41 },
	{ "33729482964455627", -38 },
	{ "2466117547186101", -36 },
	{ "4932235094372202", -36 },
	{ "1902412852907436", -25 },
	{ "3804825705814872", -25 },
	{ "80341375308088225", 44 },
	{ "28822588397022582", 45 },
	{ "57645176794045164", 45 },
	{ "65491395154772944", 48 },
	{ "64804738293589064", 51 },
	{ "1605929046641989", 57 },
	{ "3211858093283978", 57 },
	{ "6423716186567956", 57 },
	{ "4001624164855121", 63 },
	{ "4064803033949531", 69 },
	{ "8129606067899062", 69 },
	{ "4384946084578497", 70 },
	{ "2931818636417522", 71 },
	{ "884658338944371", 71 },
	{ "1769316677888742", 72 },
	{ "3538633355777484", 72 },
	{ "7077266711554968", 72 },
	{ "43212228924638223", 74 },
	{ "6637899075353826", 79 },
	{ "36827466208126543", 84 },
	{ "37208633675386937", 86 },
	{ "39058878597126768", 88 },
	{ "57654578150150385", 91 },
	{ "5651538526623358", 104 },
	{ "76658785488667984", 113 },
	{ "4276892125056322", 114 },
	{ "263283076096885", 116 },
	{ "10531323043875399", 117 },
	{ "42125292175501597", 117 },
	{ "33700233740401277", 118 },
	{ "44596066840334405", 125 },
	{ "9727081811829489", 132 },
	{ "61235700073843246", 135 },
	{ "24494280029537298", 136 },
	{ "4499029632233837", 137 },
	{ "18341526859645389", 146 },
	{ "2612787385440923", 147 },
	{ "6834859331393543", 147 },
	{ "70487976217301855", 153 },
	{ "40366692112133834", 160 },
	{ "64212034966059256", 166 },
	{ "21226346987773482", 175 },
	{ "51886190678901447", 189 },
	{ "20754476271560579", 190 },
	{ "83017905086242315", 190 },
	{ "58960160560399056", 191 },
	{ "66641177824100826", 194 },
	{ "5493127645170153", 201 },
	{ "39779219869333628", 209 },
	{ "79558439738667255", 209 },
	{ "50523702331566894", 210 },
	{ "40933393326155808", 212 },
	{ "81866786652311615", 212 },
	{ "11987110132312231", 213 },
	{ "23974220264624462", 213 },
	{ "47948440529248924", 213 },
	{ "8054164326565191", 217 },
	{ "32216657306260762", 218 },
	{ "30423431424080128", 219 },
};
